微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。     

关于强增生算子的Mann迭代序列收敛的充要条件

设Z是一致光滑Banach空间,T：X→X是次连续强增生算子,｛an｝、｛βn｝是两个实数列且满足0≤an≤1,及an→0（n→∞）,令Mann迭代序列｛Xn｝定义为证明了迭代序列｛xn｝强收敛于S的不动点q的充要条件是｜｜Txn｜｜有界。     

Estimating failure time distribution and its parameters based on intermediate data from a Wiener degradation model

Instead of measuring a Wiener degradation or performance process at predetermined time points to track degradation or performance of a product for estimating its lifetime, we propose to obtain the first‐passage times of the process over certain nonfailure thresholds. Based on only these intermediate data, we obtain the uniformly minimum variance unbiased estimator and uniformly most accurate confidence interval for the mean lifetime. For estimating the lifetime distribution function, we propose a modified maximum likelihood estimator and a new estimator and prove that, by increasing the sample size of the intermediate data, these estimators and the above‐mentioned estimator of the mean lifetime can achieve the same levels of accuracy as the estimators assuming one has failure times. Thus, our method of using only intermediate data is useful for highly reliable products when their failure times are difficult to obtain. Furthermore, we show that the proposed new estimator of the lifetime distribution function is more accurate than the standard and modified maximum likelihood estimators. We also obtain approximate confidence intervals for the lifetime distribution function and its percentiles. Finally, we use light‐emitting diodes as an example to illustrate our method and demonstrate how to validate the Wiener assumption during the testing. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

关于Chidume结果的推广

在一致光滑的Banach空间,证明了满足不等式‖Tx≤C ‖x‖的一类非线性强增生算子的Mann迭代序列强收敛于Tx=f的唯一解。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

中立型泛函微分方程解的有界性

对于有限时滞中立型泛函微分方程,利用Liapunov泛函的方法,研究了方程解的有界性,得到了便于应用的判据。     

某型舰近程反潜防御区反潜直升机配置＊

针对某型舰近程反潜防御区反潜直升机的配置问题,依据近程反潜防御区反潜作战的任务、性质和兵力配置要求,提出了反潜直升机配置的基本原则,建立了反潜直升机前出距离计算模型,给出了反潜直升机配置的具体方法,并给出了具体的量化计算结果,可为编队指挥员优化某型舰近程反潜防御区反潜直升机配置提供决策支持和参考。     

某型舰近程反潜防御区反潜直升机配置

针对某型舰近程反潜防御区反潜直升机的配置问题,依据近程反潜防御区反潜作战的任务、性质和兵力配置要求,提出了反潜直升机配置的基本原则,建立了反潜直升机前出距离计算模型,给出了反潜直升机配置的具体方法,可为编队指挥员优化某型舰近程反潜防御区反潜直升机配置提供决策支持和参考。     

基于HLA反潜战术训练仿真系统设计

针对直升机反潜训练效率低的问题,提出了基于HLA的反潜战术训练仿真系统设计。系统运用反潜作战仿真建模方法,以VC++7.0为软件设计工具,基于HLA对反潜战术课目训练进行仿真,着重从台位设计、体系结构和技术实现等方面进行一定的研究。实践证明,系统设计合理,运行稳定,模拟效果逼真,能够满足反潜部队战术训练需要。     

舰艇编队舰机协同反潜警戒模型研究

反潜作战是联合机动编队的主要作战任务之一, 舰机协同反潜研究有着十分广阔的应用前景。根据舰机协同反潜行动的特点,给出了联合机动编队警戒范围的数学模型,以直升机吊放声纳和舰艇拖曳声纳为主要因素,重点研究联合机动编队及其舰载反潜直升机协同反潜作战过程中的建模与仿真问题,建立了单机和双机联合舰艇编队反潜模型。